meet irreducible element

交不可约元